大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Design Automation Technical Committee 的图书(共7308本)

Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbr眉cken, Germany, October 3-6, 2005. Proceedings

0
索取号：
作者：Borrione、 Dominique.、Paul、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Theoretical Computer Science [electronic resource] : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

0
索取号：
作者：Coppo、 Mario.、Lodi、 Elena.、Pinna、 G. Michele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Bogliolo、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings

0
索取号：
作者：Boutaba、 Raouf.、Almeroth、 Kevin.、Puigjaner、 Ramon.、Shen、 Sherman.、Black、 James P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Scale Space and PDE Methods in Computer Vision [electronic resource] : 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings

0
索取号：
作者：Kimmel、 Ron.、Sochen、 Nir A.、Weickert、 Joachim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Analysis of Images and Patterns [electronic resource] : 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005. Proceedings

0
索取号：
作者：Gagalowicz、 Andr茅.、Philips、 Wilfried.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Groupware: Design, Implementation, and Use [electronic resource] : 11th International Workshop, CRIWG 2005, Porto de Galinhas, Brazil, September 25-29, 2005. Proceedings

0
索取号：
作者：Fuk艣、 Hugo.、Lukosch、 Stephan.、Salgado、 Ana Carolina.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Safety, Reliability, and Security [electronic resource] : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

0
索取号：
作者：Winther、 Rune.、Gran、 Bj酶rn Axel.、Dahll、 Gustav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Network Security [electronic resource] : Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005. Proceedings

0
索取号：
作者：Gorodetsky、 Vladimir.、Kotenko、 Igor.、Skormin、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Security-ESORICS 2005 [electronic resource] : 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings

0
索取号：
作者：Vimercati、 Sabrina de Capitani.、Syverson、 Paul.、Gollmann、 Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Cooperative Design, Visualization, and Engineering [electronic resource] : Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

0
索取号：
作者：Luo、 Yuhua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Embedded Systems Design [electronic resource] : The ARTIST Roadmap for Research and Development

0
索取号：
作者：Bouyssounouse、 Bruno.、Sifakis、 Joseph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Discrete Geometry for Computer Imagery [electronic resource] : 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005. Proceedings

0
索取号：
作者：Andres、 Eric.、Damiand、 Guillaume.、Lienhardt、 Pascal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Engineering Human Computer Interaction and Interactive Systems [electronic resource] : Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

0
索取号：
作者：Bastide、 R茅mi.、Palanque、 Philippe.、Roth、 J枚rg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

From Computer Literacy to Informatics Fundamentals [electronic resource] : International Conference on Informatics in Secondary Schools 鈥Ŷolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30 - April 1, 2005, Proceeedings

0
索取号：
作者：Mittermeir、 Roland T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Artificial Intelligence [electronic resource] : 18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9-11, 2005. Proceedings

0
索取号：
作者：K茅gl、 Bal谩zs.、Lapalme、 Guy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.